L’art comme forme symbolique

Représentation Symbolique de Trajectoires Géolocalisées

RESUME. Énormément de trajectoires géolocalisées sont produites et disponibles, mais leur exploitation pour en tirer des informations intéressantes reste difficile. L'obstacle qui nous intéresse ici est la mauvaise qualité de certaines de ces données : échantillonnage très irrégulier et précision médiocre. Nous proposons de les transposer dans des domaines symboliques pour pouvoir effectuer des...

Stroke Risk Stratification in Patients With Atrial Fibrillation: Comme Ci, Comme Ça, Plus Ça Change….

T here has been a huge increase in academic interest in atrial fibrillation (AF) and particularly its major complication: thromboembolism. This sustained flurry of activity is fueled by the development of better thromboprophylaxis with well-controlled vitamin K antagonist (VKA) anticoagulation rather than antiplatelet therapy or poorly controlled management with VKAs. The emergence of new thera...

Autojection et compilateurs procedure formelle symbolique

Test Symbolique De Services Web Composites

Web services are gaining industry-wide acceptance and usage by fostering the development of distributed applications out of the composition of simpler entities called services. In complement to verification, testing allows one to check for the correctness of a binary (no source code) service implementation with reference to a specification. In this thesis, we propose black box conformance testi...

LART: Flexible, Low-Power Building Blocks for Wearable Computers

To ease the implementation of different wearable computers, we developed a low-power processor board (named LART) with a rich set of interfaces. The LART supports dynamic voltage scaling, so performance (and power consumption) can be scaled to match demands: 59-221 MHz, 106-640 mW. High-end wearables can be configured from multiple LARTs operating in parallel; alternatively, FPGA boards can be ...